static unsigned char small[256];
static unsigned big[256];

int main() {

        unsigned i;

        small[0] = 0b0;
        small[1] = 0b1;
        small[2] = 0b10;
        small[3] = 0b11;
        small[4] = 0b100;
        small[5] = 0b101;
        small[6] = 0b110;
        small[7] = 0b000111;
        small[8] = 0b1000;
        small[9] = 0b1001;
        small[10] = 0b0001010;
        small[11] = 0b0001011;
        small[12] = 0b1100;
        small[13] = 0b1101;
        small[14] = 0b1110;
        small[15] = 0b1111;
        small[16] = 0b10000;
        small[17] = 0b10001;
        small[18] = 0b00010010;
        small[19] = 0b00010011;
        small[20] = 0b00010100;
        small[21] = 0b00010101;
        small[22] = 0b10110;
        small[23] = 0b10111;
        small[24] = 0b11000;
        small[25] = 0b11001;
        small[26] = 0b11010;
        small[27] = 0b11011;
        small[28] = 0b11100;
        small[29] = 0b11101;
        small[30] = 0b11110;
        small[31] = 0b11111;
        small[32] = 0b00000000100000;
        small[33] = 0b00000000100001;
        small[34] = 0b100010;
        small[35] = 0b100011;
        small[36] = 0b100100;
        small[37] = 0b100101;
        small[38] = 0b100110;
        small[39] = 0b100111;
        small[40] = 0b101000;
        small[41] = 0b101001;
        small[42] = 0b101010;
        small[43] = 0b101011;
        small[44] = 0b101100;
        small[45] = 0b101101;
        small[46] = 0b101110;
        small[47] = 0b101111;
        small[48] = 0b110000;
        small[49] = 0b110001;
        small[50] = 0b110010;
        small[51] = 0b110011;
        small[52] = 0b110100;
        small[53] = 0b110101;
        small[54] = 0b110110;
        small[55] = 0b110111;
        small[56] = 0b111000;
        small[57] = 0b111001;
        small[58] = 0b111010;
        small[59] = 0b111011;
        small[60] = 0b111100;
        small[61] = 0b111101;
        small[62] = 0b111110;
        small[63] = 0b111111;
        small[64] = 0b1000000;
        small[65] = 0b1000001;
        small[66] = 0b1000010;
        small[67] = 0b1000011;
        small[68] = 0b1000100;
        small[69] = 0b1000101;
        small[70] = 0b1000110;
        small[71] = 0b1000111;
        small[72] = 0b1001000;
        small[73] = 0b1001001;
        small[74] = 0b1001010;
        small[75] = 0b1001011;
        small[76] = 0b1001100;
        small[77] = 0b1001101;
        small[78] = 0b1001110;
        small[79] = 0b1001111;
        small[80] = 0b1010000;
        small[81] = 0b1010001;
        small[82] = 0b1010010;
        small[83] = 0b1010011;
        small[84] = 0b1010100;
        small[85] = 0b1010101;
        small[86] = 0b1010110;
        small[87] = 0b1010111;
        small[88] = 0b1011000;
        small[89] = 0b1011001;
        small[90] = 0b1011010;
        small[91] = 0b1011011;
        small[92] = 0b1011100;
        small[93] = 0b1011101;
        small[94] = 0b1011110;
        small[95] = 0b1011111;
        small[96] = 0b1100000;
        small[97] = 0b1100001;
        small[98] = 0b1100010;
        small[99] = 0b1100011;
        small[100] = 0b1100100;
        small[101] = 0b1100101;
        small[102] = 0b1100110;
        small[103] = 0b1100111;
        small[104] = 0b1101000;
        small[105] = 0b1101001;
        small[106] = 0b1101010;
        small[107] = 0b1101011;
        small[108] = 0b1101100;
        small[109] = 0b1101101;
        small[110] = 0b1101110;
        small[111] = 0b1101111;
        small[112] = 0b1110000;
        small[113] = 0b1110001;
        small[114] = 0b1110010;
        small[115] = 0b1110011;
        small[116] = 0b1110100;
        small[117] = 0b1110101;
        small[118] = 0b1110110;
        small[119] = 0b1110111;
        small[120] = 0b1111000;
        small[121] = 0b1111001;
        small[122] = 0b1111010;
        small[123] = 0b1111011;
        small[124] = 0b1111100;
        small[125] = 0b1111101;
        small[126] = 0b1111110;
        small[127] = 0b1111111;
        small[128] = 0b10000000;
        small[129] = 0b10000001;
        small[130] = 0b10000010;
        small[131] = 0b10000011;
        small[132] = 0b10000100;
        small[133] = 0b10000101;
        small[134] = 0b10000110;
        small[135] = 0b10000111;
        small[136] = 0b10001000;
        small[137] = 0b10001001;
        small[138] = 0b10001010;
        small[139] = 0b10001011;
        small[140] = 0b10001100;
        small[141] = 0b10001101;
        small[142] = 0b10001110;
        small[143] = 0b10001111;
        small[144] = 0b10010000;
        small[145] = 0b10010001;
        small[146] = 0b10010010;
        small[147] = 0b10010011;
        small[148] = 0b10010100;
        small[149] = 0b10010101;
        small[150] = 0b10010110;
        small[151] = 0b10010111;
        small[152] = 0b10011000;
        small[153] = 0b10011001;
        small[154] = 0b10011010;
        small[155] = 0b10011011;
        small[156] = 0b10011100;
        small[157] = 0b10011101;
        small[158] = 0b10011110;
        small[159] = 0b10011111;
        small[160] = 0b10100000;
        small[161] = 0b10100001;
        small[162] = 0b10100010;
        small[163] = 0b10100011;
        small[164] = 0b10100100;
        small[165] = 0b10100101;
        small[166] = 0b10100110;
        small[167] = 0b10100111;
        small[168] = 0b10101000;
        small[169] = 0b10101001;
        small[170] = 0b10101010;
        small[171] = 0b10101011;
        small[172] = 0b10101100;
        small[173] = 0b10101101;
        small[174] = 0b10101110;
        small[175] = 0b10101111;
        small[176] = 0b10110000;
        small[177] = 0b10110001;
        small[178] = 0b10110010;
        small[179] = 0b10110011;
        small[180] = 0b10110100;
        small[181] = 0b10110101;
        small[182] = 0b10110110;
        small[183] = 0b10110111;
        small[184] = 0b10111000;
        small[185] = 0b10111001;
        small[186] = 0b10111010;
        small[187] = 0b10111011;
        small[188] = 0b10111100;
        small[189] = 0b10111101;
        small[190] = 0b10111110;
        small[191] = 0b10111111;
        small[192] = 0b11000000;
        small[193] = 0b11000001;
        small[194] = 0b11000010;
        small[195] = 0b11000011;
        small[196] = 0b11000100;
        small[197] = 0b11000101;
        small[198] = 0b11000110;
        small[199] = 0b11000111;
        small[200] = 0b11001000;
        small[201] = 0b11001001;
        small[202] = 0b11001010;
        small[203] = 0b11001011;
        small[204] = 0b11001100;
        small[205] = 0b11001101;
        small[206] = 0b11001110;
        small[207] = 0b11001111;
        small[208] = 0b11010000;
        small[209] = 0b11010001;
        small[210] = 0b11010010;
        small[211] = 0b11010011;
        small[212] = 0b11010100;
        small[213] = 0b11010101;
        small[214] = 0b11010110;
        small[215] = 0b11010111;
        small[216] = 0b11011000;
        small[217] = 0b11011001;
        small[218] = 0b11011010;
        small[219] = 0b11011011;
        small[220] = 0b11011100;
        small[221] = 0b11011101;
        small[222] = 0b11011110;
        small[223] = 0b11011111;
        small[224] = 0b11100000;
        small[225] = 0b11100001;
        small[226] = 0b11100010;
        small[227] = 0b11100011;
        small[228] = 0b11100100;
        small[229] = 0b11100101;
        small[230] = 0b11100110;
        small[231] = 0b11100111;
        small[232] = 0b11101000;
        small[233] = 0b11101001;
        small[234] = 0b11101010;
        small[235] = 0b11101011;
        small[236] = 0b11101100;
        small[237] = 0b11101101;
        small[238] = 0b11101110;
        small[239] = 0b11101111;
        small[240] = 0b11110000;
        small[241] = 0b11110001;
        small[242] = 0b11110010;
        small[243] = 0b11110011;
        small[244] = 0b11110100;
        small[245] = 0b11110101;
        small[246] = 0b11110110;
        small[247] = 0b11110111;
        small[248] = 0b11111000;
        small[249] = 0b11111001;
        small[250] = 0b11111010;
        small[251] = 0b11111011;
        small[252] = 0b11111100;
        small[253] = 0b11111101;
        small[254] = 0b11111110;
        small[255] = 0b11111111;

        for (i = 0; i < 256; i++) {
                if (small[i] != i)
                        return 1;
        }

        big[0] = 0b1111111100000000;
        big[1] = 0b1111111100000001;
        big[2] = 0b1111111100000010;
        big[3] = 0b1111111100000011;
        big[4] = 0b1111111100000100;
        big[5] = 0b1111111100000101;
        big[6] = 0b1111111100000110;
        big[7] = 0b1111111100000111;
        big[8] = 0b1111111100001000;
        big[9] = 0b1111111100001001;
        big[10] = 0b1111111100001010;
        big[11] = 0b1111111100001011;
        big[12] = 0b1111111100001100;
        big[13] = 0b1111111100001101;
        big[14] = 0b1111111100001110;
        big[15] = 0b1111111100001111;
        big[16] = 0b1111111100010000;
        big[17] = 0b1111111100010001;
        big[18] = 0b1111111100010010;
        big[19] = 0b1111111100010011;
        big[20] = 0b1111111100010100;
        big[21] = 0b1111111100010101;
        big[22] = 0b1111111100010110;
        big[23] = 0b1111111100010111;
        big[24] = 0b1111111100011000;
        big[25] = 0b1111111100011001;
        big[26] = 0b1111111100011010;
        big[27] = 0b1111111100011011;
        big[28] = 0b1111111100011100;
        big[29] = 0b1111111100011101;
        big[30] = 0b1111111100011110;
        big[31] = 0b1111111100011111;
        big[32] = 0b1111111100100000;
        big[33] = 0b1111111100100001;
        big[34] = 0b1111111100100010;
        big[35] = 0b1111111100100011;
        big[36] = 0b1111111100100100;
        big[37] = 0b1111111100100101;
        big[38] = 0b1111111100100110;
        big[39] = 0b1111111100100111;
        big[40] = 0b1111111100101000;
        big[41] = 0b1111111100101001;
        big[42] = 0b1111111100101010;
        big[43] = 0b1111111100101011;
        big[44] = 0b1111111100101100;
        big[45] = 0b1111111100101101;
        big[46] = 0b1111111100101110;
        big[47] = 0b1111111100101111;
        big[48] = 0b1111111100110000;
        big[49] = 0b1111111100110001;
        big[50] = 0b1111111100110010;
        big[51] = 0b1111111100110011;
        big[52] = 0b1111111100110100;
        big[53] = 0b1111111100110101;
        big[54] = 0b1111111100110110;
        big[55] = 0b1111111100110111;
        big[56] = 0b1111111100111000;
        big[57] = 0b1111111100111001;
        big[58] = 0b1111111100111010;
        big[59] = 0b1111111100111011;
        big[60] = 0b1111111100111100;
        big[61] = 0b1111111100111101;
        big[62] = 0b1111111100111110;
        big[63] = 0b1111111100111111;
        big[64] = 0b1111111101000000;
        big[65] = 0b1111111101000001;
        big[66] = 0b1111111101000010;
        big[67] = 0b1111111101000011;
        big[68] = 0b1111111101000100;
        big[69] = 0b1111111101000101;
        big[70] = 0b1111111101000110;
        big[71] = 0b1111111101000111;
        big[72] = 0b1111111101001000;
        big[73] = 0b1111111101001001;
        big[74] = 0b1111111101001010;
        big[75] = 0b1111111101001011;
        big[76] = 0b1111111101001100;
        big[77] = 0b1111111101001101;
        big[78] = 0b1111111101001110;
        big[79] = 0b1111111101001111;
        big[80] = 0b1111111101010000;
        big[81] = 0b1111111101010001;
        big[82] = 0b1111111101010010;
        big[83] = 0b1111111101010011;
        big[84] = 0b1111111101010100;
        big[85] = 0b1111111101010101;
        big[86] = 0b1111111101010110;
        big[87] = 0b1111111101010111;
        big[88] = 0b1111111101011000;
        big[89] = 0b1111111101011001;
        big[90] = 0b1111111101011010;
        big[91] = 0b1111111101011011;
        big[92] = 0b1111111101011100;
        big[93] = 0b1111111101011101;
        big[94] = 0b1111111101011110;
        big[95] = 0b1111111101011111;
        big[96] = 0b1111111101100000;
        big[97] = 0b1111111101100001;
        big[98] = 0b1111111101100010;
        big[99] = 0b1111111101100011;
        big[100] = 0b1111111101100100;
        big[101] = 0b1111111101100101;
        big[102] = 0b1111111101100110;
        big[103] = 0b1111111101100111;
        big[104] = 0b1111111101101000;
        big[105] = 0b1111111101101001;
        big[106] = 0b1111111101101010;
        big[107] = 0b1111111101101011;
        big[108] = 0b1111111101101100;
        big[109] = 0b1111111101101101;
        big[110] = 0b1111111101101110;
        big[111] = 0b1111111101101111;
        big[112] = 0b1111111101110000;
        big[113] = 0b1111111101110001;
        big[114] = 0b1111111101110010;
        big[115] = 0b1111111101110011;
        big[116] = 0b1111111101110100;
        big[117] = 0b1111111101110101;
        big[118] = 0b1111111101110110;
        big[119] = 0b1111111101110111;
        big[120] = 0b1111111101111000;
        big[121] = 0b1111111101111001;
        big[122] = 0b1111111101111010;
        big[123] = 0b1111111101111011;
        big[124] = 0b1111111101111100;
        big[125] = 0b1111111101111101;
        big[126] = 0b1111111101111110;
        big[127] = 0b1111111101111111;
        big[128] = 0b1111111110000000;
        big[129] = 0b1111111110000001;
        big[130] = 0b1111111110000010;
        big[131] = 0b1111111110000011;
        big[132] = 0b1111111110000100;
        big[133] = 0b1111111110000101;
        big[134] = 0b1111111110000110;
        big[135] = 0b1111111110000111;
        big[136] = 0b1111111110001000;
        big[137] = 0b1111111110001001;
        big[138] = 0b1111111110001010;
        big[139] = 0b1111111110001011;
        big[140] = 0b1111111110001100;
        big[141] = 0b1111111110001101;
        big[142] = 0b1111111110001110;
        big[143] = 0b1111111110001111;
        big[144] = 0b1111111110010000;
        big[145] = 0b1111111110010001;
        big[146] = 0b1111111110010010;
        big[147] = 0b1111111110010011;
        big[148] = 0b1111111110010100;
        big[149] = 0b1111111110010101;
        big[150] = 0b1111111110010110;
        big[151] = 0b1111111110010111;
        big[152] = 0b1111111110011000;
        big[153] = 0b1111111110011001;
        big[154] = 0b1111111110011010;
        big[155] = 0b1111111110011011;
        big[156] = 0b1111111110011100;
        big[157] = 0b1111111110011101;
        big[158] = 0b1111111110011110;
        big[159] = 0b1111111110011111;
        big[160] = 0b1111111110100000;
        big[161] = 0b1111111110100001;
        big[162] = 0b1111111110100010;
        big[163] = 0b1111111110100011;
        big[164] = 0b1111111110100100;
        big[165] = 0b1111111110100101;
        big[166] = 0b1111111110100110;
        big[167] = 0b1111111110100111;
        big[168] = 0b1111111110101000;
        big[169] = 0b1111111110101001;
        big[170] = 0b1111111110101010;
        big[171] = 0b1111111110101011;
        big[172] = 0b1111111110101100;
        big[173] = 0b1111111110101101;
        big[174] = 0b1111111110101110;
        big[175] = 0b1111111110101111;
        big[176] = 0b1111111110110000;
        big[177] = 0b1111111110110001;
        big[178] = 0b1111111110110010;
        big[179] = 0b1111111110110011;
        big[180] = 0b1111111110110100;
        big[181] = 0b1111111110110101;
        big[182] = 0b1111111110110110;
        big[183] = 0b1111111110110111;
        big[184] = 0b1111111110111000;
        big[185] = 0b1111111110111001;
        big[186] = 0b1111111110111010;
        big[187] = 0b1111111110111011;
        big[188] = 0b1111111110111100;
        big[189] = 0b1111111110111101;
        big[190] = 0b1111111110111110;
        big[191] = 0b1111111110111111;
        big[192] = 0b1111111111000000;
        big[193] = 0b1111111111000001;
        big[194] = 0b1111111111000010;
        big[195] = 0b1111111111000011;
        big[196] = 0b1111111111000100;
        big[197] = 0b1111111111000101;
        big[198] = 0b1111111111000110;
        big[199] = 0b1111111111000111;
        big[200] = 0b1111111111001000;
        big[201] = 0b1111111111001001;
        big[202] = 0b1111111111001010;
        big[203] = 0b1111111111001011;
        big[204] = 0b1111111111001100;
        big[205] = 0b1111111111001101;
        big[206] = 0b1111111111001110;
        big[207] = 0b1111111111001111;
        big[208] = 0b1111111111010000;
        big[209] = 0b1111111111010001;
        big[210] = 0b1111111111010010;
        big[211] = 0b1111111111010011;
        big[212] = 0b1111111111010100;
        big[213] = 0b1111111111010101;
        big[214] = 0b1111111111010110;
        big[215] = 0b1111111111010111;
        big[216] = 0b1111111111011000;
        big[217] = 0b1111111111011001;
        big[218] = 0b1111111111011010;
        big[219] = 0b1111111111011011;
        big[220] = 0b1111111111011100;
        big[221] = 0b1111111111011101;
        big[222] = 0b1111111111011110;
        big[223] = 0b1111111111011111;
        big[224] = 0b1111111111100000;
        big[225] = 0b1111111111100001;
        big[226] = 0b1111111111100010;
        big[227] = 0b1111111111100011;
        big[228] = 0b1111111111100100;
        big[229] = 0b1111111111100101;
        big[230] = 0b1111111111100110;
        big[231] = 0b1111111111100111;
        big[232] = 0b1111111111101000;
        big[233] = 0b1111111111101001;
        big[234] = 0b1111111111101010;
        big[235] = 0b1111111111101011;
        big[236] = 0b1111111111101100;
        big[237] = 0b1111111111101101;
        big[238] = 0b1111111111101110;
        big[239] = 0b1111111111101111;
        big[240] = 0b1111111111110000;
        big[241] = 0b1111111111110001;
        big[242] = 0b1111111111110010;
        big[243] = 0b1111111111110011;
        big[244] = 0b1111111111110100;
        big[245] = 0b1111111111110101;
        big[246] = 0b1111111111110110;
        big[247] = 0b1111111111110111;
        big[248] = 0b1111111111111000;
        big[249] = 0b1111111111111001;
        big[250] = 0b1111111111111010;
        big[251] = 0b1111111111111011;
        big[252] = 0b1111111111111100;
        big[253] = 0b1111111111111101;
        big[254] = 0b1111111111111110;
        big[255] = 0b1111111111111111;

        for (i = 0; i < 256; i++) {
                if (big[i] != i + 65280U)
                        return 1;
        }

        return 0;
}
